| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Algorithmische Modelltheorie I | Fach-/Modulprüfung | 8 | 488928 | ||
| Algorithmische Spieltheorie | Fach-/Modulprüfung | 6 | 491953 | ||
| Analyse von Algorithmen | Fach-/Modulprüfung | 8 | 489038 | ||
| Compilerbau | Fach-/Modulprüfung | 6 | 488864 | ||
| Concurrency Theory | Fach-/Modulprüfung | 6 | 488685 | ||
| Vorlesung | 495716 | Di 14:30-16:00 AH II (2350|111) (×8) Do 14:30-16:00 AH II (2350|111) (×9) | |||
| Übung | 495717 | Mo 14:30-16:00 AH I (2350|028) (×8) Do 14:30-16:00 AH I (2350|028) (×2) | |||
| Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | 490110 | ||
| Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 489132 | ||
| Vorlesung/Übung | 485197 | Mo 08:30-10:00 AH III (2350|314.1) (×13) Di 10:30-11:15 AH VI (2356|051) (×12) Fr 08:30-10:00 AH II (2350|111) (×13) | |||
| Formale Grundlagen von UML | Fach-/Modulprüfung | 6 | 491963 | ||
| Vorlesung | 495719 | Di 10:30-12:00 AH III (2350|314.1) (×9) Do 10:30-12:00 AH I (2350|028) (×13) | |||
| Übung | 495718 | Do 08:30-10:00 AH I (2350|028) (×9) | |||
| Graphalgorithmen | Fach-/Modulprüfung | 6 | 489143 | ||
| Graphzerlegungen und algorithmische Anwendungen | Fach-/Modulprüfung | 6 | 492506 | ||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 489207 | ||
| Vorlesung | 485276 | Mo 10:30-12:00 5056 (2356|056) (×13) Do 14:00-15:00 AH II (2350|111) (×1) Fr 11:00-12:00 AH II (2350|111) (×1) | |||
| Übung | 485028 | Mi 14:30-16:00 5052 (2356|052) (×12) | |||
| Kombinatorische Optimierung in der wissenschaftlichen Praxis | Projekt | 496724 | Mo 12:15-14:15 5056 (2356|056) (×13) Di 10:30-12:00 Seminarraum i7, Raum 4116 (2353|116) (×13) Fr 12:30-14:00 Seminarraum i7, Raum 4116 (2353|116) (×12) | ||
| Fach-/Modulprüfung | 6 | 496725 | |||
| Komplexitätstheorie | Fach-/Modulprüfung | 6 | 489177 | ||
| Vorlesung | 496466 | Do 12:30-14:00 AH VI (2356|051) (×15) Fr 12:30-14:00 AH I (2350|028) (×1) | |||
| Übung | 496467 | Fr 12:30-14:00 AH I (2350|028) (×13) | |||
| Logik und Spiele | Fach-/Modulprüfung | 8 | 490773 | ||
| Fach-/Modulprüfung | 8 | 490772 | |||
| Mathematische Logik II | Fach-/Modulprüfung | 8 | 488924 | ||
| Vorlesung | 494454 | Mo 10:30-12:00 IV (1010|141) (×12) Di 12:30-14:00 AH I (2350|028) (×13) | |||
| Übung | 494455 | Di 14:15-15:45 AH I (2350|028) (×11) Di 14:30-16:00 AH I (2350|028) (×1) Mi 08:30-12:00 AH II (2350|111) (×1) Do 10:30-12:30 AH II (2350|111) (×1) | |||
| Model Checking | Fach-/Modulprüfung | 6 | 491945 | ||
| Modeling and Verification of Probabilistic Systems | Fach-/Modulprüfung | 6 | 489807 | ||
| Vorlesung | 495722 | Mo 12:30-14:00 AH I (2350|028) (×10) Do 12:30-14:00 AH II (2350|111) (×11) | |||
| Übung | 495723 | Do 12:30-14:00 AH II (2350|111) (×1) Do 16:30-18:00 AH I (2350|028) (×12) | |||
| Parametrisierte Algorithmen | Fach-/Modulprüfung | 8 | 491946 | ||
| Post-quantum cryptography | Fach-/Modulprüfung | 6 | 507718 | ||
| Vorlesung/Übung | 507533 | Mo 16:30-18:00 AH V (2356|050) (×13) Mi 16:30-18:00 AH I (2350|028) (×8) Do 16:30-18:00 AH III (2350|314.1) (×9) | |||
| Probabilistic Programming | Fach-/Modulprüfung | 6 | 489064 |